/* -------------------------------------------------------------------- */
/*            Encoding/decoding bugnums to GNU MP format                */
/* -------------------------------------------------------------------- */

/* If the user included <gmp.h> we supply some more functions */

#if defined(__GNU_MP_VERSION) \
&& __GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 1

int ei_decode_bignum(const buf: PAnsiChar,int *index,mpz_t obj);
int ei_encode_bignum(buf: PAnsiChar,int *index,mpz_t obj);
int ei_x_encode_bignum(ei_x_buff *x,mpz_t obj);

#endif /* __GNU_MP_VERSION */
